calculus of natural deduction
[数] 自然推理演算
热门查询
- thumping n. 脚尖站立 v. 重击；狠打；怦怦地跳；全力支持（thump的ing形式） adj. 重击的；巨大的
- brane n. 膜；膜宇宙；膜论
- downgrade n. 退步；下坡 vt. 使降级（过去式downgraded，过去分词downgraded，现在分词downgrading，第三人称单数downgrades）；小看 adj. 下坡的 adv. 下坡地
- monopolistic adj. 垄断的；独占性的；专利的
- geste n. 手势，示意动作; 行为，举止
- artisanal 手工艺性的
- befuddlement n. 迷惑
- Reade n. 里德（男子名）
- Yugoslavia n. 南斯拉夫
- hauteur n. 傲慢；自大 n. (Hauteur)人名；(法)奥特尔
- assiduous adj. 刻苦的，勤勉的
- welles n. 威尔斯（姓氏）
- Eduardo [人名] 爱德华多
- dressed v. 装饰；给…穿衣；布置（dress的过去分词） adj. 穿好衣服的；打扮好的；去内脏及分割加工好的（特指动物，如鱼，禽类等）
- insects n. [昆] 昆虫；昆虫类，昆虫纲（insect的复数形式）
- splayed vt. 张开；展开 vi. 张开；展开 adj. 倾斜的；八字形的 n. 展开；斜面
- touring n. 游览；转动 v. 旅行；作巡回演讲（tour的ing形式） adj. 游览的；游客的
- RCC abbr. read(er) channel continue(d) 读取通道的延伸
- cardholder n. 持卡人；持有信用卡的人；持有正式成员证的人
- adventurousness n. 喜欢冒险；敢作敢为
考试词汇表
- trueran grey poplin,combed
- truncated cuspate foreland
- truncated d-optimal design
- truncated packet filtering
- truncated regression model
- truncated sequential games
- truncated triangular prism
- truncus atrioventricularis
- trunk conference telephone
- trunk connecting unit, TCU
- trunk extremity proportion
- trunk line electrification
- trunk line heating furnace
- trunks of branchial plexus
- trunnion mounting cylinder
- truss type steel structure
- truss with parallel chords
- trust or commission clause
- truth value of proposition
- truth-functional operation
